| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Advanced Automata Theory | Fach-/Modulprüfung | 6 | 351430 | ||
| Vorlesung | 279330 | Mo 08:30-10:00 AH I (2350|028) (×11) Di 14:00-16:30 Aula 2 (2352|021) (×1) Mi 12:15-13:00 AH I (2350|028) (×12) | |||
| Übung | 282362 | Fr 14:30-16:00 AH I (2350|028) (×11) | |||
| Algorithmische Spieltheorie | Fach-/Modulprüfung | 6 | 351474 | ||
| Vorlesung | 309120 | Mo 10:30-12:00 MetP11 (2181|102) (×12) Di 10:30-12:00 MetP11 (2181|102) (×12) Do 12:30-14:00 MetP11 (2181|102) (×11) | |||
| Modellierung und Analyse hybrider Systeme | Fach-/Modulprüfung | 6 | 352058 | ||
| Vorlesung/Übung | 279319 | Mo 14:30-16:00 AH V (2356|050) (×12) Di 10:30-12:00 AH VI (2356|051) (×12) Mi 16:00-18:00 9U10 (2359|U112) (×1) | |||
| Semantik und Verifikation von Software | Fach-/Modulprüfung | 6 | 351544 | ||
| Vorlesung | 309118 | Mo 14:30-16:00 AH VI (2356|051) (×9) Do 10:30-12:00 5056 (2356|056) (×9) Fr 10:30-12:00 5056 (2356|056) (×1) | |||
| Übung | 309117 | Fr 10:30-12:00 5056 (2356|056) (×10) Fr 10:30-12:00 Extern (×1) | |||
| Theory of Constraint Satisfaction Problems | Fach-/Modulprüfung | 6 | 351819 | ||
| Übung | 312813 | Di 14:30-16:00 5055 (2356|055) (×10) | |||
| Vorlesung | 312812 | Di 08:30-10:00 5055 (2356|055) (×11) Do 14:30-16:00 5055 (2356|055) (×8) Do 14:30-16:00 Seminarraum i7, Raum 4116 (2353|116) (×1) | |||
| Theory of Distributed and Parallel Systems | Fach-/Modulprüfung | 6 | 374716 | ||
| Vorlesung | 312366 | Mi 16:30-18:00 AH II (2350|111) (×10) Do 16:30-18:00 AH III (2350|314.1) (×10) | |||
| Übung | 312367 | Di 12:30-14:00 5054 (2356|054) (×10) Mi 12:30-14:00 5054 (2356|054) (×10) Mi 14:30-16:00 5052 (2356|052) (×10) |